)load the address out of a typed referencecheck for a finite real number#push a typed reference on the stack